Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
91	Microsoft WordExtension 1 Maths Solution Add to Reading List Source URL: www.hsccoaching.com Language: English - Date: 2009-03-04 08:00:00 Elementary mathematics Sine Natural logarithm Mathematical fallacy Proofs of trigonometric identities Pythagorean trigonometric identity Mathematics Trigonometry Mathematical analysis
92	AIPS Memo 27 Non-linear Coordinate Systems in AIPS Reissue of November 1983 version Eric W. Greisen September 9, 1994 Abstract Add to Reading List Source URL: tdc-www.harvard.edu Language: English - Date: 2015-04-22 20:09:26 Ballistics Mathematical analysis Trigonometric functions Sine Range of a projectile Spherical coordinate system Celestial mechanics Proofs of trigonometric identities Orbital perturbation analysis Trigonometry Mathematics Geometry
93	Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Add to Reading List Source URL: www.loria.fr Language: English - Date: 2011-07-11 06:39:50 Mathematical logic Resolution Unit propagation Entailment Logic Automated theorem proving Rules of inference
94	An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don’t mean to ask if you ever wondered whether every number Add to Reading List Source URL: aleph0.clarku.edu Language: English - Date: 2014-08-12 16:34:20 Mathematical logic Elementary arithmetic Mathematical induction Singly and doubly even Proof by contradiction Parity of a permutation Handshaking lemma Mathematics Mathematical proofs Parity
95	Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:14 Propositional calculus Model theory Predicate logic Formal languages First-order logic Function Interpretation Entailment Partition Logic Mathematics Mathematical logic
96	English Summary of Argumente der Analysis The text contains the motivations and the proofs for an Analysis course with a novel arrangement of the material. But it omits some computations that first year students probabl Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2000-03-15 10:58:43 Mathematical series Real analysis Continuous function Series Uniform convergence Polynomial Integral Power series Lipschitz continuity Mathematical analysis Mathematics Calculus
97	Microsoft Word - HSC ExtensionSolution Add to Reading List Source URL: www.hsccoaching.com Language: English - Date: 2009-03-04 08:00:00 Elementary mathematics Trigonometric functions Natural logarithm Proofs of trigonometric identities Differentiation rules Mathematics Mathematical analysis Trigonometry
98	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
99	Simple composition theorems of one-way functions – proofs and presentations Jaime Gaspar∗ Eerke Boiten† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-18 09:03:22 Cryptography One-way function Injective function Integration by substitution Function Continuous mapping theorem Mathematics Mathematical analysis Functions and mappings
100	Lecture 17 - Zero Knowledge Proofs Boaz Barak April 5, 2010 Review connections between: pseudorandom generators, one-way functions, pseudorandom functions, CPA secure symmetric encryption, message authentication codes, C Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-04-05 00:17:40 Computational complexity theory Zero-knowledge proof Proof of knowledge IP Soundness NP Quadratic residue Probabilistic method Mathematical proof Theoretical computer science Cryptography Cryptographic protocols

UPDATE